1. Domain-theoretic foundations of functional programming
پدیدآورنده: / Thomas Streicher
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
2. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده: Streicher, Thomas, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
3. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده: Thomas Streicher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
